1021. Supercomputers of today and tomorrow the parallel processing revolution
پدیدآورنده : Jenkins, Richard A.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Supercomputers,، Parallel processing )Electronic computers(
رده :
QA
76
.
5
.
J44
1986
1022. Supervisory control of concurrent systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Supervisory control systems. ; Parallel processing (Electronic computers) ; Petri nets. ;
1023. Supervisory control of concurrent systems: a Petri net structural approach
پدیدآورنده : Iordache, Marian Valentin
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Supervisory control systems,، Parallel processing )Electronic computers(,، Petri nets
رده :
TJ
222
.
I57
1024. Synthesizing synchronous systems by static scheduling in space-time
پدیدآورنده : Lisper, Bjorn
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Parallel processing )Electronic computers(,، System design
رده :
QA
76
.
L28
Vol
.
362
1025. Systems Programming In Parallel Logic Languages
پدیدآورنده : Ian Foster
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Systems Programming (computer science),Parallel Processing (electronic computers)
رده :
QA
،
76
.
66
،.
F67
،
1990
1026. Systems programming in parallel logic languages
پدیدآورنده : Foster, Ian
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Systems programming )Computer science(,، Parallel processing )Electronic computers(
رده :
QA
76
.
66
.
F67
1990
1027. Systems programming in parallel logic languages
پدیدآورنده : Ian Foster
موضوع : Systems programming (Computer science),Parallel processing (Electronic computers)
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
1028. Systolic parallel processing
پدیدآورنده : Petkov, Nikolay
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Computer algorithms
رده :
QA
76
.
58
.
P48
1993
1029. TREAT :
پدیدآورنده : Daniel P. Miranker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms.,Artificial intelligence.,Expert systems (Computer science),Parallel processing (Electronic computers)
1030. Task scheduling for parallel systems
پدیدآورنده : Sinnen, Oliver
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Multitasking )Computer science(,، Computer scheduling
رده :
QA
76
.
58
.
S572
2007
1031. Task scheduling in parallel and distributed systems
پدیدآورنده : EL-Rewini, Hesham.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Parallel processing )Electronic computers( , Electronic data processing - Distributed processing , Multitasking )Computer science(
رده :
QA
76
.
58
.
E43
1994
1032. Task scheduling in parallel and distributed systems
پدیدآورنده : EL-Rewini, Hesham.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Electronic data processing-- Distributed processing,، Multitasking )Computer science(
رده :
QA
76
.
58
.
E43
1994
1033. Temporal verification of reactive systems: safety
پدیدآورنده : Manna, Zohar
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer software-- Verification,، Parallel processing )Electronic computers(
رده :
QA
76
.
76
.
V47
.
M36
1995
1034. Testbeds and research infrastructures for the development of networks and communications :
پدیدآورنده : Honghao Gao, Yuyu Yin, Xiaoxian Yang, Huaikou Miao (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer architecture, Congresses.,Computer networks, Congresses.,Parallel processing (Electronic computers), Congresses.,Computer architecture.,Computer networks.,Parallel processing (Electronic computers)
رده :
TK5105
.
5
.
T47
2018eb
1035. The Analysis of concurrent systems : Proceedings, Cambridge, September 12-16, 1983
پدیدآورنده : edited by B.T. Denvir...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
207
1036. The Analysis of concurrent systems : proceedings, Cambridge, September 12-16, 1983
پدیدآورنده : edited by B.T. Denvir ... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L4
v
.
207
1037. The Concurrency control problem for database systems
پدیدآورنده : Casanova, Marco Antonio
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Data base management,، Parallel processing )Electronic computers(
رده :
QA
76
.
L4
v
.
116
1038. The Design and application of parallel digital processors, 11- 15 April 1988
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Electronic digital computers- Design and construction- Congresses,، Parallel processing )Electronic computers(- Congresses
1039. The Helios parallel operating system
پدیدآورنده : Perihelion Software Ltd
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Operating systems )Computers(,، Helios )Computer file(,، Parallel processing )Electronic computers(
رده :
QA
76
.
76
.
O63
H473
1991
1040. The Helios parallel operation system
پدیدآورنده : Perihelion Software LTD
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع : Operating systems(computers),Helios ( computer file ),Parallel processing (Electronic computers)
رده :
QA
76
.
76
.
O63H473
1991
